Computer programming - PDFSEARCH.IO - Document Search Engine

Computer programming
Results: 45296

#	Item
831	FAST APPROXIMATE NEAREST NEIGHBORS WITH AUTOMATIC ALGORITHM CONFIGURATION Marius Muja, David G. Lowe Computer Science Department, University of British Columbia, Vancouver, B.C., Canada , Add to Reading List Source URL: www.geog.ucsb.edu Language: English - Date: 2013-05-14 18:54:15 Search algorithms Information science Computing Computer programming Machine learning Data mining Approximation algorithms Discrete geometry Nearest neighbor search K-d tree K-nearest neighbors algorithm K-means clustering
832	PDF Document Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:03 Software engineering Declarative programming Computer programming Automated theorem proving Logic programming Prolog Interpreter Eval Substitution Resolution
833	DOC Document Add to Reading List Source URL: www.sigevo.org Language: English - Date: 2013-10-03 16:17:54 Evolutionary algorithms Evolutionary computation Mathematical optimization Artificial intelligence Applied mathematics Theoretical computer science Cybernetics Genetic algorithms Genetic and Evolutionary Computation Conference Riccardo Poli Genetic programming Genetic representation
834	Analysis and Tuning of Libtensor Framework on Multicore Architectures Khaled Z. Ibrahim, Samuel W. Williams Evgeny Epifanovsky, Anna I. Krylov Add to Reading List Source URL: crd.lbl.gov Language: English - Date: 2015-01-12 18:48:17 Computing Parallel computing Computer programming Non-uniform memory access OpenMP Scheduling C dynamic memory allocation Thread Memory management Multi-core processor Garbage collection
835	Procedia Computer Science Volume 51, 2015, Pages 110–119 ICCS 2015 International Conference On Computational Science Improving OpenCL programmability with the Heterogeneous Programming Library Add to Reading List Source URL: www.des.udc.es Language: English - Date: 2015-06-02 06:44:27 Computing Concurrent computing Parallel computing Computer programming GPGPU OpenCL Compute kernel General-purpose computing on graphics processing units Kernel Algorithmic skeleton OpenACC Linux kernel
836	DAME: A Runtime-Compiled Engine for Derived Datatypes Tarun Prabhu William Gropp Add to Reading List Source URL: wgropp.cs.illinois.edu Language: English - Date: 2015-09-22 08:47:35 Computing Software engineering Computer programming Parallel computing Programming language implementation Compiler construction Application programming interfaces Fortran OpenMP MPICH XPL Sequential access
837	LGF Transport Business Case Report A28 Chart Road CO04300369/008 Revision 01 January 2016 Add to Reading List Source URL: www.southeastlep.com Language: English - Date: 2016-02-11 11:31:11 Programming language theory Software engineering Computer programming Business case PRINCE2 Project management Cumberland Highway Scheme Local enterprise partnership A28
838	AF T Chapter 5 Programming with Dependent Types Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2009-09-10 12:37:20 Software engineering Computer programming Programming language theory Functional languages Procedural programming languages Subroutines Data types C++ ATS ALGOL 68 ML C++ classes
839	HETEROGENEOUS SYSTEM ARCHITECTURE OVERVIEW HOT CHIPS TUTORIAL - AUGUST 2013 PHIL ROGERS HSA FOUNDATION PRESIDENT AMD CORPORATE FELLOW Add to Reading List Source URL: www.hotchips.org Language: English - Date: 2013-08-25 13:01:40 Computer architecture Computing Heterogeneous computing Parallel computing GPGPU Heterogeneous System Architecture Application programming interfaces Fabless semiconductor companies HSA Foundation OpenCL Advanced Micro Devices Graphics processing unit
840	An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Theoretical computer science Mathematical logic Software engineering Computability theory Models of computation Logic in computer science Programming language semantics Denotational semantics Recursion Negation True quantified Boolean formula Mathematical proof

UPDATE